Free-living marine nematode communities: In San Jorge gulf, Argentina

The aim of this study was to investigate the patterns of nematode diversity and community structure in San Jorge Gulf, Argentina, in order to improve knowledge of this key group of organisms. Free-living marine nematodes were sampled at 13 stations in February 2014 during an expedition aboard R/V Coriolis II. We found a total of 188 species (101 of which were new to science) belonging to 98 genera. The statistical results indicated the presence of three different assemblages of free-living marine nematodes distributed spatially in three distinct zones in the gulf: the central part, the outer thermal front at both sides of the entrance, and the south thermal front area. Diversity increased from the coast to the entrance of the gulf, and the highest diversity was found in areas with coarser sediment. Sediment and salinity were the environmental parameters that best matched nematode community distribution.Fil: Pastor de Ward, Catalina T.. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto de Diversidad y Evolución Austral; ArgentinaFil: Lo Russo, Virginia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto de Diversidad y Evolución Austral; ArgentinaFil: Varisco, Martin Alejandro. Universidad Nacional de la Patagonia Austral. Centro de Investigaciones y Transferencia Golfo San Jorge. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro de Investigaciones y Transferencia Golfo San Jorge. Universidad Nacional de la Patagonia "San Juan Bosco". Centro de Investigaciones y Transferencia Golfo San Jorge; Argentin

Practical Normalization by Evaluation for EDSLs

Embedded domain-specific languages (eDSLs) are typically implemented in a rich host language, such as Haskell, using a combination of deep and shallow embedding techniques. While such a combination enables programmers to exploit the execution mechanism of Haskell to build and specialize eDSL programs, it blurs the distinction between the host language and the eDSL. As a consequence, extension with features such as sums and effects requires a significant amount of ingenuity from the eDSL designer. In this paper, we demonstrate that Normalization by Evaluation (NbE) provides a principled framework for building, extending, and customizing eDSLs. We present a comprehensive treatment of NbE for deeply embedded eDSLs in Haskell that involves a rich set of features such as sums, arrays, exceptions and state, while addressing practical concerns about normalization such as code expansion and the addition of domain-specific features

Veamy: an extensible object-oriented C++ library for the virtual element method

This paper summarizes the development of Veamy, an object-oriented C++ library for the virtual element method (VEM) on general polygonal meshes, whose modular design is focused on its extensibility. The linear elastostatic and Poisson problems in two dimensions have been chosen as the starting stage for the development of this library. The theory of the VEM, upon which Veamy is built, is presented using a notation and a terminology that resemble the language of the finite element method (FEM) in engineering analysis. Several examples are provided to demonstrate the usage of Veamy, and in particular, one of them features the interaction between Veamy and the polygonal mesh generator PolyMesher. A computational performance comparison between VEM and FEM is also conducted. Veamy is free and open source software

QUANTUM CORRECTIONS AND EXTREMAL BLACK HOLES

We consider static solutions of two dimensional dilaton gravity models as toy laboratories to address the question of the final fate of black holes. A non perturbative correction to the CGHS potential term is shown to lead classically to an extremal black hole geometry, thus providing a plausible solution to Hawking evaporation paradox. However, the full quantum theory does not admit an extremal solution.Comment: 12 pages, LaTex, no figures. We have improved the main argument leading to the non-existence of an extremal black hole in the quantum theor

HasTEE: Programming Trusted Execution Environments with Haskell

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data within an untrusted host environment, such as the cloud and IoT. Despite strong security guarantees, TEE adoption has been hindered by an awkward programming model. This model requires manual application partitioning and the use of error-prone, memory-unsafe, and potentially information-leaking low-level C/C++ libraries. We address the above with \textit{HasTEE}, a domain-specific language (DSL) embedded in Haskell for programming TEE applications. HasTEE includes a port of the GHC runtime for the Intel-SGX TEE. HasTEE uses Haskell's type system to automatically partition an application and to enforce \textit{Information Flow Control} on confidential data. The DSL, being embedded in Haskell, allows for the usage of higher-order functions, monads, and a restricted set of I/O operations to write any standard Haskell application. Contrary to previous work, HasTEE is lightweight, simple, and is provided as a \emph{simple security library}; thus avoiding any GHC modifications. We show the applicability of HasTEE by implementing case studies on federated learning, an encrypted password wallet, and a differentially-private data clean room.Comment: To appear in Haskell Symposium 202

Comparative efficiency of two different constructed wetlands for wastewater treatment of small populations in Mediterranean continental climate

The treatment of wastewater from small towns supposes problems of economic efficiency, leading to very high environmental costs in areas with low population density. Constructed wetlands (CW) seems to be the more suitable solution for this kind of situation, but further investigations are needed regarding their efficiency under different climatic conditions. This work presents the results concerning urban wastewater treatment by means of two different constructed wetlands using macrophytes: horizontal subsurface flow (HSSF) and free water surface (FWS). The systems are located in a Mediterranean continental climate area and are fed by a by-pass at the entrance of a wastewater treatment plant. A four-year sampling campaign at the outlet of the CW allowed verifying their relative effectiveness in removing pollutants in the different seasons of the year. BOD5, COD, and TSS were significantly removed (with average reductions of 55%, 60%, and 57%, respectively) by these natural phytodepuration systems, with HSSF being more efficient during plants’ dormancy than FWS, but the concentrations of nutrients indicated that cumulative effects occur in CW with the need of adequate annual maintenance. It was found that the main factors controlling the efficiency of such systems throughout the year are the period of vegetative development, the presence/absence of a solid substrate, and the pollutant load of the wastewater inlet.Peer ReviewedPostprint (published version

Assessment of human stability in sewer systems during dry weather conditions

Inspection and maintenance tasks are essential to guarantee the correct operation of sewer drainage networks. In combined sewers, these tasks are generally carried out during dry periods when only wastewater flow circulates in the system. When the sewer is big enough to allow the access of people, this inspection is done in person with consequent potential exposure to several hazards such as the presence of toxic gases, the possibility to fall or the loss of stability due to the presence of a continuous wastewater flow. In this context, this paper presents a methodology to assess hazard conditions related to human stability in sewer systems during dry weather periods. Hazard assessment has been performed by applying several hazard criteria to the results of a 1D sewer model simulations regarding a real network in Spain. Results show that the influence of the selection of hazard criteria is relevant, although only a small part of the whole system can be classified as high hazard. Regardless, the proposed method is highly effective to detect these kinds of pipes and we consider them as critical point to improve health and safety procedures during maintenance and inspection tasks.Peer ReviewedPostprint (published version